Смотреть больше слов в «Словаре логики»
СИМВОЛЫ СОБСТВЕННЫЕ И НЕСОБСТВЕННЫЕ — символы, получающиеся в результате разложения предложения или иного языкового выражения на простые, далее неразложимые части. С. с. имеют содержание даже в том случае, если взяты сами по себе. К ним относятся <i>имена</i>,<i> </i>обозначающие некоторые объекты, и <i>переменные</i>,<i> </i>отсылающие к какой-то области объектов. С. н. не имеют самостоятельного содержания, но в сочетании с одним или несколькими С. с. образуют сложные выражения, имеющие самостоятельное содержание. С. н. называются также <b>синкатегорематическими.</b> К С. н. относятся, в частности: — <b>скобки,</b> в обычном языке — знаки препинания, указывающие, как объединяются между собой различные части выражения; — <b>логические</b> <b>связки,</b> в частности те, которые используются для образования сложных высказываний из простых: "...и...", "...или...", "если..., то...", "...тогда и только тогда, когда...", "ни..., ни...", "не..., а...", "..., но не...", "неверно, что... и...", "неверно, что..."; — <b>операторы,</b> подобные оператору описания ("тот объект, который ...") и <i>кванторам </i>("все" и "некоторые"). Напр., само по себе слово "или" не обозначает никакого объекта. Но в совокупности с двумя (обозначающими) С. с. оно дает новый обозначающий символ: из двух имен "круглое" и "красное" с помощью "или" получается новое имя "круглое или красное", из двух высказываний "Письмо отправлено" и "Письмо сожжено" — новое высказывание "Письмо отправлено или сожжено". Центральная задача логики — отделение правильных схем рассуждения от неправильных и систематизация первых. <i>Логическая правильность </i>определяется <i>логической формой</i>.<i> </i>Для ее выявления нужно отвлечься от содержательных частей рассуждения (С. с.) и сосредоточить внимание на С. н., представляющих эту форму в чистом виде. Отсюда интерес формальной логики к таким словам, как "и", "или", "если и только если" и т. п. <br><br><br>... смотреть